| Name | Version | Summary | date |
|---|---|---|---|
| cldk | 0.4.0 | codellm-devkit: A python library for seamless integration with LLMs. | 2024-11-13 20:09:24 |
| tla | 0.0.2 | Parser and syntax tree for TLA+, the temporal logic of actions. | 2024-06-20 16:25:31 |
| promela | 0.0.4 | Parser and abstract syntax tree for the Promela modeling language. | 2024-04-21 14:36:07 |
| astutils | 0.0.6 | Utilities for abstract syntax trees and parsing with PLY. | 2024-04-15 17:25:19 |
| hour | day | week | total |
|---|---|---|---|
| 34 | 1041 | 6546 | 275360 |